Formal Methods And Theory Of Security – alle Bücher online kaufen

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science -Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science -Band 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science -Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science -Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science -Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

Synthese Library -Band 481

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exe…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Stephan Russenschuck
Field Simulation for Accelerator Magnets 1

This comprehensive book provides fundamentals of magnetic field design in accelerators as well as detailed coverage of analytical and numerical field computation, mathematical optimization and multiphysic…

lieferbar ab 5.3.2025.

2 Bücher

EUR 397,80*

Formal Methods And Theory Of Security – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "formal methods and theory of security" finden. Könnten diese Produkte zu Ihrer Suche passen?

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

Stephan Russenschuck Field Simulation for Accelerator Magnets 1

Stephan Russenschuck
Field Simulation for Accelerator Magnets 1